3to4: Fix suggested replacements for border-width

The new CSS border-spacing does what Grid::(row|column)_spacing and
Box::spacing already did, i.e. controlling the space added between child
widgets, so it’s not a replacement for Container::border-width.

diff --git a/docs/reference/gtk/migrating-3to4.xml b/docs/reference/gtk/migrating-3to4.xml
index f33cc15c4f04a770edc2583fc7876a516c633fcc..ec06d47614709cb6d1bfaab285ab41541bba5ea1 100644 (file)
--- a/docs/reference/gtk/migrating-3to4.xml
+++ b/docs/reference/gtk/migrating-3to4.xml
@@ -169,7 +169,7 @@
       <para>
         GTK+ 4 has removed the #GtkContainer::border-width property.
         Use other means to influence the spacing of your containers,
-        such as the CSS border-spacing property.
+        such ss the CSS margin and padding properties on child widgets.
       </para>
     </section>